Systematic component selection for gene-network refinement
نویسندگان
چکیده
منابع مشابه
Systematic component selection for gene-network refinement
MOTIVATION A quantitative description of interactions between cell components is a major challenge in Computational Biology. As a method of choice, differential equations are used for this purpose, because they provide a detailed insight into the dynamic behavior of the system. In most cases, the number of time points of experimental time series is usually too small to estimate the parameters o...
متن کاملSystematic Refinement of Performance Models for Concurrent Component-based Systems
Model-driven performance prediction methods require detailed design models to evaluate the performance of software systems during early development stages. However, the complexity of detailed prediction models and the semantic gap between modelled performance concerns and functional concerns prevents many developers to address performance. As a solution to this problem, systematic model refinem...
متن کاملA Systematic Methodology for Optimal Component Selection of Electrohydraulic Servosystems
This paper focuses on optimal hydraulic component selection for electrohydraulic systems used in high performance servo tasks. Dynamic models of low complexity are proposed that describe the salient dynamics of basic electrohydraulic equipment. Rigid body equations of motion, the hydraulic dynamics and typical trajectory inputs are used in conjunction with optimization techniques, to yield an o...
متن کاملRefinement Selection
Counterexample-guided abstraction refinement (CEGAR) is a commonly-used approach for the automatic construction of an abstract model of a given program. It uses information learned from infeasible error paths to guide the verification process. We address the problem of selecting which information to learn from a given infeasible error path. Previously, we presented a method that can extract a s...
متن کاملComponent Selection for Component Based Software Engineering
Component selection is not an easy task in Component Based Software Engineering .and it is very difficult to select component for CBSE. Component Based Software Engineering (CBSE) is a concerned with the assembly of pre-existing software components that leads to a software system that responds to client-specific requirements. This paper presents an approach for defining evaluation criteria for ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Bioinformatics
سال: 2006
ISSN: 1367-4803,1460-2059
DOI: 10.1093/bioinformatics/btl440